Foundations for Constructive Industrial Relations
نویسندگان
چکیده
منابع مشابه
Constructive Foundations for Z
The speciication language Z is based on classical logic and extensional set theory. These are mathematical choices which are largely independent of Z and its calculus of schemata. This paper explores the possibilities of replacing classical logic with intuitionistic logic and extensional set theory with intensional set theory, and some of the consequences of these changes for principles of prog...
متن کاملConstructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli and Longo in a predicative theory of types and names. Although this theory is prooftheoretically weak, it allows to prove many properties of programs written in Featherweight Java. This underpins Feferman’s thesis th...
متن کاملCollective Bargaining as Industrial Democracy: Hugh Clegg and the Political Foundations of British Industrial Relations Pluralism
INTRODUCTION Sometime during the summer of 1949 Hugh Clegg first met Allan Flanders, who had arrived at Oxford to take up the post of Senior Lecturer in Industrial Relations (IR) from the start of the Michaelmas term. For the next twenty years, their partnership shaped the development of a peculiarly English IR paradigm. Flanders and Clegg were the nucleus of the early postwar 'Oxford School' o...
متن کاملFoundations of Euclidean Constructive Geometry
Euclidean geometry, as presented by Euclid, consists of straightedge-andcompass constructions and rigorous reasoning about the results of those constructions. A consideration of the relation of the Euclidean “constructions” to “constructive mathematics” leads to the development of a first-order theory ECG of “Euclidean Constructive Geometry”, which can serve as an axiomatization of Euclid rathe...
متن کاملFoundations for Industrial Machines and Earthquake Effects
Improvement in manufacturing technology has provided machines of higher ratings with better tolerances and controlled behaviour. These machines give rise to considerably higher dynamic forces and thereby higher stresses and, in return, demand improved performance and safety leaving no room for failures. This paper highlights need for a better interaction between foundation designer and machine ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Southern Economic Journal
سال: 1949
ISSN: 0038-4038
DOI: 10.2307/1054577